<?php
$namesArr = [
    "谭京辰","姚安康","吴昊天","宋健",
    "陈思羽","马响","金阿卫","邹晨",
    "李思远","孙楠楠","陈睿","朱进鹏",
    "孔令云"
];

$len = count($namesArr);
echo "<ol>";
for ($i=0; $i < $len; $i++) { 
    $index = array_rand($namesArr, 1);
    echo "<li>{$namesArr[$index]}</li>";
    unset($namesArr[$index]);
}
echo "</ol>";

?>